A major inspiration for the leaders of both the American Revolution and the French Revolution, Jean-Jacques Rousseau continues to be a widely read and referenced philosopher, novelist, and political theorist. This title devotes two chapters to Rousseaus eventful life, another to a detailed discussion of his 1762 work "The Social Contract," and a fourth to the impact that he had on the Founding Fathers of the United States. While "The Social Contract" is explored in the greatest depth, other of his (...) worksincluding his passionately argued Discourses, wildly popular novels, successful opera, and genre-shaping "Confessions"are also covered. (shrink)

Este artículo ofrece una aproximación psicoanalítica al Derecho en el contexto de un mercado global como el actual. El propósito es explicar la ruptura entre Derecho, mercado y política, como consecuencia de la globalización económica, y proponer un esquema para pensar su posible articulación. Para explicar la ruptura entre Derecho, mercado y política, se describen tres modos de relación con el Derecho en la evolución de la economía de mercado, en analogía con los modos de relación con la ley edípica (...) en las tres estructuras psíquicas que define Lacan (psicótica, neurótica, perversa); la conclusión es que el modo de relación con el Derecho en el contexto económico actual corresponde a una estructura perversa. Para pensar la posible articulación entre Derecho, mercado y política, se recurre a una analogía con los tres registros de lo psíquico según Lacan -Simbólico, Imaginario, y Real-, y al concepto de sinthome, como solución singular que permite anudar esos tres registros. (shrink)

We present a mathematical approach to defeasible reasoning based on arguments. This approach integrates the notion of specificity introduced by Poole and the theory of warrant presented by Pollock. The main contribution of this paper is a precise, well-defined system which exhibits correct behavior when applied to the benchmark examples in the literature. It aims for usability rather than novelty. We prove that an order relation can be introduced among equivalence classes of arguments under the equi-specificity relation. We also prove (...) a theorem that ensures the termination of the process of finding the justified facts. Two more lemmas define a reduced search space for checking specificity. In order to implement the theoretical ideas, the language is restricted to Horn clauses for the evidential context. The language used to represent defeasible rules has been restricted in a similar way. The authors intend this work to unify the various existing approaches to argument-based defeasible reasoning. (shrink)

KOINONIA/ASETT MINGA/MUTIRÃO DE REVISTAS DE TEOLOGIA LATINO-AMERICANAS Teología de la Liberación y movimiento ecuménico: breve reflexión desde una práctica (Liberation Theology and ecumenical movement: a brief reflection from praxis).

Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth-conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the `logicality of language', accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter-examples consisting of acceptable tautologies and contradictions, the logicality of language is often paired (...) with an additional assumption according to which logical forms are radically underspecified: i.e., the language system can see functional terms but is `blind' to open class terms to the extent that different tokens of the same term are treated as if independent. This conception of logical form has profound implications: it suggests an extreme version of the modularity of language, and can only be paired with non-classical---indeed quite exotic---kinds of deductive systems. The aim of this paper is to show that we can pair the logicality of language with a different and ultimately more traditional account of logical form. This framework accounts for the basic acceptability patterns which motivated the logicality of language, can explain why some tautologies and contradictions are acceptable, and makes better predictions in key cases. As a result, we can pursue versions of the logicality of language in frameworks compatible with the view that the language system is not radically modular vis-a-vis its open class terms and employs a deductive system that is basically classical. (shrink)

Bi-intuitionistic logic is the result of adding the dual of intuitionistic implication to intuitionistic logic. In this note, we characterize the expressive power of this logic by showing that the first order formulas equivalent to translations of bi-intuitionistic propositional formulas are exactly those preserved under bi-intuitionistic directed bisimulations. The proof technique is originally due to Lindstrom and, in contrast to the most common proofs of this kind of result, it does not use the machinery of neither saturated models nor elementary (...) chains. (shrink)

Lindström’s theorem obviously fails as a characterization of first-order logic without identity ( $\mathcal {L}_{\omega \omega }^{-} $ ). In this note, we provide a fix: we show that $\mathcal {L}_{\omega \omega }^{-} $ is a maximal abstract logic satisfying a weak form of the isomorphism property (suitable for identity-free languages and studied in [11]), the Löwenheim–Skolem property, and compactness. Furthermore, we show that compactness can be replaced by being recursively enumerable for validity under certain conditions. In the proofs, we (...) use a form of strong upwards Löwenheim–Skolem theorem not available in the framework with identity. (shrink)

This paper is a step toward showing what is achievable using non-classical metatheory—particularly, a substructural paraconsistent framework. What standard results, or analogues thereof, from the classical metatheory of first order logic can be obtained? We reconstruct some of the originals proofs for Completeness, Löwenheim-Skolem and Compactness theorems in the context of a substructural logic with the naive comprehension schema. The main result is that paraconsistent metatheory can ‘re-capture’ versions of standard theorems, given suitable restrictions and background assumptions; but the shift (...) to non-classical logic may recast the meanings of these apparently ‘absolute’ theorems. (shrink)

This paper is devoted to the problem of existence of saturated models for first-order many-valued logics. We consider a general notion of type as pairs of sets of formulas in one free variable that express properties that an element of a model should, respectively, satisfy and falsify. By means of an elementary chains construction, we prove that each model can be elementarily extended to a $\kappa $-saturated model, i.e. a model where as many types as possible are realized. In order (...) to prove this theorem we obtain, as by-products, some results on tableaux and their consistency and satisfiability and a generalization of the Tarski–Vaught theorem on unions of elementary chains. Finally, we provide a structural characterization of $\kappa $-saturation in terms of the completion of a diagram representing a certain configuration of models and mappings. (shrink)

Under a proper translation, the languages of propositional (and quantified relevant logic) with an absurdity constant are characterized as the fragments of first order logic preserved under (world-object) relevant directed bisimulations. Furthermore, the properties of pointed models axiomatizable by sets of propositional relevant formulas have a purely algebraic characterization. Finally, a form of the interpolation property holds for the relevant fragment of first order logic.

Seventeen essays make up the body of this anthology. Most of the authors are Latin Americans (although some of them work in other regions), and thus we might say that this volume is, in a very approximate sense, a showcase of recent Latin-American ontology and metaphysics. The remaining authors—Pierre Aubenque, Barry Smith, Lorenzo Peña and James Hamilton—are distinguished teachers who have had important contacts with the Latin-American philosophical community. The articles in this anthology address some of the central questions in (...) ontology and metaphysics: the possibility of a science of being (Aubenque), the different possible approaches to ontology (Hurtado), the recent application of ontology to informatics (Smith), guise theory and its Leibnizian antecedents (Herrera), the reduction of space and time to phenomenological properties (Rodríguez Larreta), the Newtonian ontology of space and time (Benítez and Robles), the relation between truth and the so-called “truth-makers” (Rodríguez Pereyra), the ontological position of the Pyrrhonic skeptic (Junqueira Smith), the limits and difficulties of metaphysical realism (Cabanchik, Pereda), the defense of physicalist or emergentist positions regarding the mental (Pérez), the metaphysical nature of persons (Naishtat), the ontology of cultural entities (Peña), political ontology (Nudler), the relation between ontology and literature (Hamilton), the ontology of art (Tomasini). Some of the works (e.g., those Aubenque and Robles) approach the question from a historical perspective: others examine the most recent philosophical literature on the problems focalized (e.g., those by Pérez and Rodríguez Pereyra), and others offer new approaches (e.g., those of Rodríguez Larreta, Peña or Nudler) to a specific problematic area. (shrink)

Co-écrit par Chloé Galibert-Laîné et Guillaume Grandjean, l’essai vidéo GeoMarkr (22 minutes, 2022) explore différentes pratiques de l’enquête spatiale médiatisée, des explorations filmiques de Chris Marker au jeu vidéo GeoGuessr. Les deux auteurices ont proposé à Corentin Lê de se joindre, le temps d’un échange, à leurs déambulations théoriques.

We show that propositional intuitionistic logic is the maximal abstract logic satisfying a certain form of compactness, the Tarski union property, and preservation under asimulations.

O artigo – desde uma perspectiva da educação como direito humano universal que reconhece a diversidade – realiza um recorrido panorâmico por uma série de dimensões da educação intercultural no ensino superior do Chile, especialmente universitária, discute criticamente a situação atual da interculturalização na universidade – entendida genericamente – e conclui com algumas perguntas que podem orientar pesquisas ou decisões que levem a que o ensino superior considere os direitos indígenas, permita a expressão de sua cultura, promova a interculturalidade, forme (...) os técnicos e profissionais que requerem o desenvolvimento da sociedade e das comunidades e enriqueça a docência e a ciência com outros paradigmas de conhecimento. Desse modo, que reconheça e valide a interculturalidade e os aportes das culturas indígenas a sua identidade, formação e produção de conhecimento. Trata das comunidades e dos estudantes indígenas em geral, mas aprofunda a situação desde o povo mapuche, embasando-se em projetos de pesquisa e desenvolvimento e em experiências em e desde a Região da Araucanía. A proposta se centra na ideia de que o direito à educação, desde a lei e inconstitucionalidade atual, se centra no sistema escolar formal de ensino básico e médio e não considera a educação superior ou a um sistema de educação continuado como direito universal, no qual poderia se especificar uma condição especial aos estudantes indígenas. Por isso, hoje se luta pela igualdade de oportunidades de inclusão entre indígenas e não indígenas. Palavras-chave: Ensino Superior. Interculturalidade. Cultura mapuche. (shrink)

We generalize the notion ofconsequence relationstandard in abstract treatments of logic to accommodate intuitions ofrelevance. The guiding idea follows theuse criterion, according to which in order for some premises to have some conclusion(s) as consequence(s), the premises must each beusedin some way to obtain the conclusion(s). This relevance intuition turns out to require not just a failure of monotonicity, but also a move to considering consequence relations as obtaining betweenmultisets. We motivate and state basic definitions of relevant consequence relations, both (...) in single conclusion (asymmetric) and multiple conclusion (symmetric) settings, as well as derivations and theories, guided by the use intuitions, and prove a number of results indicating that the definitions capture the desired results (at least in many cases). (shrink)

Trata-se de uma pesquisa de natureza bibliográfica, com abordagem quanti-qualitativa, de caráter descritivo-exploratório que objetiva analisar a produção do conhecimento do Curso de Educação Física da Universidade do Estado do Pará em Altamira, no período de 2011-2018. Os achados apontam uma evolução do modo de produzir conhecimento, pois constatou-se uma redução dos vazios analíticos presentes nas pesquisas analisadas. Conclui que há um aumento no rigor cientifico presente nas produções devido uma maior utilização de técnicas, metodologias e teorias consistentes para a (...) verificação da realidade pesquisada e para a elaboração das respostas (R) dos problemas (P) investigados. (shrink)

The global demand for information has brought in new developments in the publicity of discursive practices of many professional areas. This study takes the professional practice of International Commercial Arbitration, a mechanism to resolve business disputes outside the courts and traditionally considered as private, to explore the process of resemiotization of information, from the strategies used by corporations in their press releases to the news reports published by national and international media. It takes the theoretical concept of interdiscursivity in critical (...) genre analysis to show that texts are the result of a combination of a very complex range of resources brought about by genres, professional practices and professional cultures, which derive not only from the ‘local’ representation of the transnational arbitration process, but also from the different corporate identities and their ways of coping with the increasing publicity of the facts of arbitration. (shrink)

Riassunto: Gli sviluppi recenti nell’ambito della ricerca sui processi decisionali relativi ai cosiddetti effetti di incorniciamento hanno ricevuto particolare attenzione da parte di quell’ambito della filosofia morale che si occupa di spiegare i dilemmi morali classici legati al famoso problema del carrello. Alcuni filosofi sostengono che illusioni cognitive come l’ effetto di incorniciamento mettano seriamente in discussione alcuni punti di vista classici della filosofia morale come, per esempio, l’ etica normativa e l’ intuizionismo morale. L’obiettivo di questo articolo è cercare (...) di mostrare se, alla luce della ricerca empirica sugli effetti di incorniciamento, possiamo mantenere un punto di vista intuizionista o meno e, più in generale, che cosa implichino questo genere di dati per la filosofia morale. Parole chiave: Filosofia morale; Intuizionismo; Effetti di inconiciamento; Dilemmi morali; Teoria del prospetto Should we Abandon Moral Intuitionism? Framing Effects and Moral Dilemmas: Recent developments in experimental research on decision-making have received attention from moral philosophers trying to explain classical moral dilemmas. The class of cognitive illusions known as framing effects have received particular attention because they appear to play a role in explaining the famous trolley-problem. Some philosophers maintain that cognitive illusions such as framing effects seriously undermine classical point of views in moral philosophy such as normative ethics and moral intuitionism. This essay investigates whether, in light of empirical research on framing effects, we can still maintain an intuitionist point of view, and what the available data imply in general for moral philosophy. Keywords: Moral Philosophy; Intuitionism; Framing Effects; Moral Dilemmas; Prospect Theory. (shrink)

If philosophy is to be faithful to her calling to serve truth and humankind, she must remain a pupil, open to the enrichment that other sciences bestow on her. This paper highlights some insights from J. H. Newman and C. S. Peirce that can shed light on our understanding of philosophy as a servant to the truth. Newman and Peirce are suitable guides for this discussion since both cultivated their intellect in various disciplines, which informed their philosophical contributions. It begins (...) by exploring how Newman and Peirce conceived philosophy as a science. Then, it discusses their views on the unity of science, which further qualify their thoughts on philosophy. Finally, it enounces some consequences for the study of philosophy which their contributions suggest. Among many others, Newman and Peirce stand out as courageous defenders of the truth and have much to contribute to the timeless conversation of philosophy. (shrink)

Constatant que nos étudiants italiens de FLE ont contracté, au cours des années, de mauvaises habitudes de prononciation, souvent dues à un enseignement lacunaire de la connaissance correcte des sons, et que le temps d’enseignement universitaire est réduit d’année en année, notre propos est de chercher à récupérer le temps perdu en insistant, au début de l’année d’un cours de Langue et Traduction française, sur l’oralité. Partant du poème et du jeu sur les signifiants et jonglant avec les signifiés, nous (...) essayerons de motiver les étudiants, peu enclins à la lecture de la poésie et qui, en outre, négligent de se mettre quotidiennement devant un miroir durant quatre ou sept minutes, temps prescrit par les méthodes phonétiques et phonologiques, et nécessaire pour acquérir de nouvelles habitudes phonatoires. Une partie de cet article sera dédiée aux poètes pour montrer comment la force orale du poème peut devenir un atout majeur pour une bonne prononciation ; une autre, à partir d’un vers, sera une sorte de « cahier de création » phonique, sémantique voire poétique. (shrink)

In this note we study a counterpart in predicate logic of the notion of logical friendliness, introduced into propositional logic in [15]. The result is a new consequence relation for predicate languages with equality using first-order models. While compactness, interpolation and axiomatizability fail dramatically, several other properties are preserved from the propositional case. Divergence is diminished when the language does not contain equality with its standard interpretation.

We provide a sucient frame-theoretic condition for a super bi-intuitionistic logic to have Maksimova's variable separation property. We conclude that bi-intuitionistic logic enjoys the property. Furthermore, we offer an algebraic characterization of the super-bi-intuitionistic logics with Maksimova's property.